Exact solution for a two-phase Stefan problem with variable latent heat and a convective boundary condition at the fixed face

Recently it was obtained in [Tarzia, Thermal Sci. 21A (2017) 1-11] for the classical two-phase Lam\'e-Clapeyron-Stefan problem an equivalence between the temperature and convective boundary conditions at the fixed face under a certain restriction. Motivated by this article we study the two-phase Stefan problem for a semi-infinite material with a latent heat defined as a power function of the position and a convective boundary condition at the fixed face. An exact solution is constructed using Kummer functions in case that an inequality for the convective transfer coefficient is satisfied generalizing recent works for the corresponding one-phase free boundary problem. We also consider the limit to our problem when that coefficient goes to infinity obtaining a new free boundary problem, which has been recently studied in [Zhou-Shi-Zhou, J. Engng. Math. (2017) DOI 10.1007/s10665-017-9921-y].Comment: 16 pages, 0 figures. arXiv admin note: text overlap with arXiv:1610.0933

Convergence of optimal control problems governed by second kind parabolic variational inequalities

We consider a family of optimal control problems where the control variable is given by a boundary condition of Neumann type. This family is governed by parabolic variational inequalities of the second kind. We prove the strong convergence of the optimal controls and state systems associated to this family to a similar optimal control problem. This work solves the open problem left by the authors in IFIP TC7 CSMO2011

Existence, Uniqueness and Convergence of Simultaneous Distributed-Boundary Optimal Control Problems

We consider a steady-state heat conduction problem $P$ for the Poisson equation with mixed boundary conditions in a bounded multidimensional domain $\Omega$. We also consider a family of problems $P_{\alpha}$ for the same Poisson equation with mixed boundary conditions being $\alpha>0$ the heat transfer coefficient defined on a portion $\Gamma_{1}$ of the boundary. We formulate simultaneous \emph{distributed and Neumann boundary} optimal control problems on the internal energy $g$ within $\Omega$ and the heat flux $q$, defined on the complementary portion $\Gamma_{2}$ of the boundary of $\Omega$ for quadratic cost functional. Here the control variable is the vector $(g,q)$. We prove existence and uniqueness of the optimal control $(\overline{\overline{g}},\overline{\overline{q}})$ for the system state of $P$, and $(\overline{\overline{g}}_{\alpha},\overline{\overline{q}}_{\alpha})$ for the system state of $P_{\alpha}$, for each $\alpha>0$, and we give the corresponding optimality conditions. We prove strong convergence, in suitable Sobolev spaces, of the vectorial optimal controls, system and adjoint states governed by the problems $P_{\alpha}$ to the corresponding vectorial optimal control, system and adjoint states governed by the problem $P$, when the parameter $\alpha$ goes to infinity. We also obtain estimations between the solutions of these vectorial optimal control problems and the solution of two scalar optimal control problems characterized by fixed $g$ (with boundary optimal control $\overline{q}$) and fixed $q$ (with distributed optimal control $\overline{g}$), respectively, for both cases $\alpha>0$ and $\alpha=\infty$.Comment: 14 page

Simultaneous determination of two unknown thermal coefficients through a mushy zone model with an overspecified convective boundary condition

The simultaneous determination of two unknown thermal coefficients for a semi-infinite material under a phase-change process with a mushy zone according to the Solomon-Wilson-Alexiades model is considered. The material is assumed to be initially liquid at its melting temperature and it is considered that the solidification process begins due to a heat flux imposed at the fixed face. The associated free boundary value problem is overspecified with a convective boundary condition with the aim of the simultaneous determination of the temperature of the solid region, one of the two free boundaries of the mushy zone and two thermal coefficients among the latent heat by unit mass, the thermal conductivity, the mass density, the specific heat and the two coefficients that characterize the mushy zone. The another free boundary of the mushy zone, the bulk temperature and the heat flux and heat transfer coefficients at the fixed face are assumed to be known. According to the choice of the unknown thermal coefficients, fifteen phase-change problems arise. The study of all of them is presented and explicit formulae for the unknowns are given, beside necessary and sufficient conditions on data in order to obtain them. Formulae for the unknown thermal coefficients, with their corresponding restrictions on data, are summarized in a table.Comment: 27 pages, 1 Table, 1 Appendi

A commutative diagram among discrete and continuous Neumann boundary optimal control problems

We consider a bounded domain D whose regular boundary consists of the union of two portions F1 and F2. The convergence of a family of continuous Neumann boundary mixed elliptic optimal control problems (Pa), governed by elliptic variational equalities, when the parameter a of the family goes to infinity was studied in Gariboldi - Tarzia, Adv. Diff. Eq. Control Processes, 1 (2008), 113-132, being the control variable the heat flux on the boundary F2. It has been proved that the optimal control problem (Pa) are strongly convergent to another optimal control (P) governed also by an elliptic variational equality with a different boundary condition on the portion of the boundary F1. We consider the discrete approximations (Pha) and (Ph) of the optimal control problems (Pa) and (P) respectively, for each h>0, a>0, through the finite element method with Lagrange's triangles of type 1 with parameter h (the longest side of the triangles). We also discrete the elliptic variational equalities which define the system and their adjoint system states, and the corresponding cost functional of the Neumann boundary optimal control problems (Pa) and (P). The goal of this paper is to study the convergence of this family of discrete Neumann boundary mixed elliptic optimal control problems (Pha) when the parameter a goes to infinity. We prove the convergence of the discrete optimal controls, the discrete system and adjoint system states of the family (Pha) to the corresponding to the discrete Neumann boundary mixed elliptic optimal control problem (Ph) when a goes to infinity, for each h>0, in adequate functional spaces. We also study the convergence when h goes to zero and we obtain a commutative diagram which relates the continuous and discrete Neumann boundary mixed elliptic optimal control problems (Pha), (Pa), (Ph) and (P) by taking the limits h goes to zero and a goes to infinity respectively.Comment: 23 page

A free boundary model for oxygen diffusion in a spherical medium

The goal of this article is to find a correct approximated solution using a polynomial of sixth degree for the free boundary problem corresponding to the diffusion of oxygen in a spherical medium with simultaneous absorption at a constant rate, and to show some mistakes in previously published solutions.Comment: 10 pages, 6 figures and 2 tables. Paper accepted, in press in Journal of Biological Systems (2015

On the Tykhonov Well-posedness of an Antiplane Shear Problem

We consider a boundary value problem which describes the frictional antiplane shear of an elastic body. The process is static and friction is modeled with a slip-dependent version of Coulomb's law of dry friction. The weak formulation of the problem is in the form of a quasivariational inequality for the displacement field, denoted by \cP. We associated to problem \cP a boundary optimal control problem, denoted by \cQ. For Problem \cP we introduce the concept of well-posedness and for Problem \cQ we introduce the concept of weakly and weakly generalized well-posedness, both associated to appropriate Tykhonov triples. Our main result are Theorems \ref{t1} and \ref{t2}. Theorem \ref{t1} provides the well-posedness of Problem \cP and, as a consequence, the continuous dependence of the solution with respect to the data. Theorem \ref{t2} provides the weakly generalized well-posedness of Problem \cQ and, under additional hypothesis, its weakly well posedness. The proofs of these theorems are based on arguments of compactness, lower semicontinuity, monotonicity and various estimates. Moreover, we provide the mechanical interpretation of our well-posedness results.Comment: 21 page